41. Maple V:
Author: Robert J. Lopez, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
42. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
Author: Edited by Harmut Ehrig...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
185-186
43. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
44. Mathematical foundations of software development
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
Classification :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
45. Number theoretic and algebraic methods in computer science: proceedings of the international conference, Moscow, June/July 1993
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Number theory,Congresses ، Algebra,Congresses ، Computer science-- Mathematics
Classification :
QA
241
.
N84
1995
46. Proceedings of the 25th conference of the International Group for the Psychology of Mathematics Education /
Author: editor, Marja van den Heuvel-Panhuizen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- Study and teaching-- Psychological aspects, Congresses.,Mathematics-- Study and teaching-- Psychological aspects.,Mathematics-- Study and teaching-- Psychological aspects.
47. Proof and system-reliability
Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
48. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
49. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013
50. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
Author: P. Gianni, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
358
51. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: P. Gianni, ed
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
Classification :
QA
76
.
95
.
I57
1988
52. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
53. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: P. Gianni, ed,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
Classification :
QA
.
I57
76
.
95
1988
54. Unconventional models of computation, UMC'2K :
Author: I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
Classification :
QA76
.
9
.
S63
I268
2001
